COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0BDR25\M1BDI25\M2NGR30\M3XMAS25\.
C00004 ENDMK
C⊗;
\\M0BDR25;\M1BDI25;\M2NGR30;\M3XMAS25;\.
\F2\CARTIFICIAL INTELLIGENCE LABORATORY
\CCOMPUTER SCIENCE DEPARTMENT
\CSTANFORD UNIVERSITY
\CSTANFORD, CALIFORNIA 94305
\F0

\C6 April 1973


Dr. M.J.H. Westcott
Personal Chairs Committee
Old College
South Bridge
Edinburgh
EH8 9YL

Dear Dr. Westcott:

\J	I can recommend Dr. R.M. Burstall without hesitation for a Personal
Chair.  I have followed his work in mathematical theory of computation and
various areas of artificial intelligence, and I think he has made important
contributions to both of these fields.

	In particular, his paper \F1Formal description of program structure
and semantics in first order logic\F0 connects two major areas of investigation.
I think its importance has not yet been sufficiently recognized.\. 


				Sincerely yours,



				John McCarthy
				Professor of Computer Science
				Director, Artificial Intelligence Laboratory